Notes on Hrushovski's Algorithm for Computing the Galois Group of a Linear Differential Equation
نویسنده
چکیده
We present a detailed and simplified version of Hrushovski’s algorithm that determines the Galois group of a linear differential equation. There are three major ingredients in this algorithm. The first is to look for a degree bound for proto-Galois groups, which enables one to compute one of them. The second is to determine the identity component of the Galois group that is the pullback of a torus to the proto-Galois group. The third is to recover the Galois group from its identity component and a finite Galois group.
منابع مشابه
A New Bound on Hrushovski's Algorithm for Computing the Galois Group of a Linear Differential Equation
The complexity of computing the Galois group of a linear differential equation is of general interest. In a recent work, Feng gave the first degree bound on Hrushovski’s algorithm for computing the Galois group of a linear differential equation. This bound is the degree bound of the polynomials used in the first step of the algorithm for finding a proto-Galois group (see Definition 2.8) and is ...
متن کاملNumerical solution of fuzzy linear Fredholm integro-differential equation by \fuzzy neural network
In this paper, a novel hybrid method based on learning algorithmof fuzzy neural network and Newton-Cotesmethods with positive coefficient for the solution of linear Fredholm integro-differential equation of the second kindwith fuzzy initial value is presented. Here neural network isconsidered as a part of large field called neural computing orsoft computing. We propose alearning algorithm from ...
متن کاملLie symmetries and differential Galois groups of linear equations
For a linear ordinary differential equation the Lie algebra of its infinitesimal Lie symmetries is compared with its differential Galois group. For this purpose an algebraic formulation of Lie symmetries is developed. It turns out that there is no direct relation between the two above objects. In connection with this a new algorithm for computing the Lie symmetries of a linear ordinary differen...
متن کاملNumerical solution of fuzzy differential equations under generalized differentiability by fuzzy neural network
In this paper, we interpret a fuzzy differential equation by using the strongly generalized differentiability concept. Utilizing the Generalized characterization Theorem. Then a novel hybrid method based on learning algorithm of fuzzy neural network for the solution of differential equation with fuzzy initial value is presented. Here neural network is considered as a part of large eld called ne...
متن کاملComputing the differential Galois group of a one-parameter family of second order linear differential equations
We develop algorithms to compute the differential Galois group corresponding to a one-parameter family of second order homogeneous ordinary linear differential equations with rational function coefficients. More precisely, we consider equations of the form ∂2Y ∂x2 + r1 ∂Y ∂x + r2Y = 0, where r1,r2 ∈C(x, t) and C is an algebraically closed field of characteristic zero. We work in the setting of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1312.5029 شماره
صفحات -
تاریخ انتشار 2013